#ifndef NUMBERED_H
#define NUMBERED_H

#include <iostream>

class numbered {
private:
    static int seq;
public:
    numbered() { msyn = seq++; }
    numbered(const numbered&);

    int msyn;
};

int numbered::seq = 0;

void f(const numbered &s) { std::cout << s.msyn << std::endl; }

numbered::numbered(const numbered &rhs)
{
    msyn = seq++;
}

#endif // NUMBERED_H
